Top-down mathematical semantics and symbolic execution
نویسندگان
چکیده
منابع مشابه
A mathematical top → down approach Marcus Hutter
Sequential decision theory formally solves the problem of rational agents in uncertain worlds if the true environmental prior probability distribution is known. Solomonoff’s theory of universal induction formally solves the problem of sequence prediction for unknown prior distribution. We combine both ideas and get a parameter-free theory of universal Artificial Intelligence. We give strong arg...
متن کاملA Top-Down Procedure for Disjunctive Well-Founded Semantics
Skepticism is one of the most important semantic intuitions in artificial intelligence. The semantics formalizing skeptical reasoning in (disjunctive) logic programming is usually named well-founded semantics. However, the issue of defining and computing the well-founded semantics for disjunctive programs and databases has proved to be far more complex and difficult than for normal logic progra...
متن کاملUniversal Algorithmic Intelligence: A Mathematical Top→Down Approach
Sequential decision theory formally solves the problem of rational agents in uncertain worlds if the true environmental prior probability distribution is known. Solomonoff’s theory of universal induction formally solves the problem of sequence prediction for unknown prior distribution. We combine both ideas and get a parameter-free theory of universal Artificial Intelligence. We give strong arg...
متن کاملTop-down causation without top-down causes
We argue that intelligible appeals to interlevel causes (top-down and bottom-up) can be understood, without remainder, as appeals to mechanistically mediated effects. Mechanistically mediated effects are hybrids of causal and constitutive relations, where the causal relations are exclusively intralevel. The idea of causation would have to stretch to the breaking point to accommodate interlevel ...
متن کاملSymbolic Execution and Heterogeneous Modeling
This paper is devoted to complex system modeling, that is to say modeling recursively systems by interconnecting component models. Our concern is to address the potential heterogeneity induced by the usage of different modeling formalisms for describing different component models involved in a common system. The main difficulty is each modeling language has its own execution and communication s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: RAIRO. Informatique théorique
سال: 1983
ISSN: 0399-0540
DOI: 10.1051/ita/1983170100551